2.2 自然数を定義して1 + 1 = 2を証明する